大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

0
索取号：
作者：Coppo、 Mario.、Lodi、 Elena.、Pinna、 G. Michele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3 鈥෬ 2005. Proceedings

0
索取号：
作者：Calude、 Cristian S.、Dinneen、 Michael J.、P膬un、 Gheorghe.、P茅rez-J铆menez、 Mario J.、Rozenberg、 Grzegorz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Spatial Information Theory [electronic resource] : International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

0
索取号：
作者：Cohn、 Anthony G.、Mark、 David M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

0
索取号：
作者：Cin、 Mario.、Ka芒niche、 Mohamed.、Pataricza、 Andr谩s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 鈥ಶ, 2005, Revised Selected Papers

0
索取号：
作者：Malek、 Miroslaw.、Nett、 Edgar.、Suri、 Neeraj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

0
索取号：
作者：Boutaba、 Raouf.、Almeroth、 Kevin.、Puigjaner、 Ramon.、Shen、 Sherman.、Black、 James P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

0
索取号：
作者：Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Scale Space and PDE Methods in Computer Vision [electronic resource] : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

0
索取号：
作者：Kimmel、 Ron.、Sochen、 Nir A.、Weickert、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings

0
索取号：
作者：Gagalowicz、 Andr茅.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Scientific Applications of Grid Computing [electronic resource] : First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Herrero、 Pilar.、P茅rez、 Mar铆a S.、Robles、 V铆ctor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

0
索取号：
作者：Treharne、 Helen.、King、 Steve.、Henson、 Martin.、Schneider、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

0
索取号：
作者：Jacquet、 Jean-Marie.、Picco、 Gian Pietro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database Systems for Advanced Applications [electronic resource] : 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005. Proceedings

0
索取号：
作者：Zhou、 Lizhu.、Ooi、 Beng Chin.、Meng、 Xiaofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Security in Pervasive Computing [electronic resource] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

0
索取号：
作者：Hutter、 Dieter.、Ullmann、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Applications of Evolutionary Computing [electronic resource] : EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings

0
索取号：
作者：Rothlauf、 Franz.、Branke、 J眉rgen.、Cagnoni、 Stefano.、Corne、 David Wolfe.、Drechsler、 Rolf.、Jin、 Yaochu.、Machado、 Penousal.、Marchiori、 Elena.、Romero、 Juan.、Smith、 George D.、Squillero、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.